Dalam bahasa pemrograman yang dideklarasikan secara statis, imutabilitas adalah keadaan dasar dari data, memastikan keamanan memori dan eksekusi yang dapat diprediksi. Meskipun variabel bisa ditimpa atau dibuat mutable, Konstanta melangkah lebih jauh dengan mengikat nilai ke nama secara permanen.

1. Ketatnya Konstanta

Berbeda dengan variabel standar di mana Inferensi Tipe memungkinkan kompiler untuk menentukan tipe data, konstanta secara ketat mengharuskan annotasi tipe eksplisit (misalnya, : u32). Hal ini menjaga kontrak yang ketat dalam biner kode.

2. Evaluasi Saat Kompilasi

Konstanta bukan hanya variabel yang tidak dapat diubah; mereka dievaluasi dan "dipanggang" ke dalam biner program saat kompilasi. Ini memungkinkan kompiler melakukan ekspresi konstan (seperti 60 * 60 * 3) sebelum program pernah berjalan, mengoptimalkan kinerja.

3. Imutabilitas Mutlak

Konstanta berfungsi sebagai "satu-satunya sumber kebenaran." Mereka tidak dapat dibuat mutable dengan mut dan tidak dapat ditimpa dalam lingkup yang sama, memastikan parameter penting program tetap tak terganggu selama eksekusi.